(navigation image)
Home Animation & Cartoons | Arts & Music | Community Video | Computers & Technology | Cultural & Academic Films | Ephemeral Films | Movies | News & Public Affairs | Prelinger Archives | Spirituality & Religion | Sports Videos | Television | Videogame Videos | Vlogs | Youth Media
Search: Advanced Search
Anonymous User (login or join us) Upload

View movie

[item image]
View thumbnails

Play / Download (help[help])

(375.8 M)Ogg Video
(381.1 M)512Kb MPEG4
(4.0 G)MPEG1


All Files: HTTP
[Attribution-Noncommercial-No Derivative Works 3.0]

Resources

Bookmark

V.E. WolfengagenCategorical Abstract Machine. Lecture 4 of 8: Developing the abstract machine in a Category

You are using our new video/audio player!
I prefer flash (when possible)
Give us feedback!

Topics: A notion of developing the abstract machine. Functioning of abstract machine. States. Working cycle of the abstract machine. Examples of evaluation. Compiling and executing the code.


This movie is part of the collection: Community Video

Producer: V.E. Wolfengagen
Audio/Visual: sound, color
Language: Russian
Keywords: lambda-calculus; combinatory logic; expression evaluation; theory of computation

Creative Commons license: Attribution-Noncommercial-No Derivative Works 3.0


Individual Files

Movie Files MPEG1 Ogg Video 512Kb MPEG4
Lecture 4/8: Developing the abstract machine in a Category 4.0 GB
375.8 MB
381.1 MB
Image Files Animated GIF Thumbnail
Lecture 4/8: Developing the abstract machine in a Category 432.8 KB
5.0 KB
Information FormatSize
CAM-2006-4_files.xml Metadata [file]
CAM-2006-4_meta.xml Metadata 1.3 KB
CAM-2006-4_reviews.xml Metadata 171.0 B

Be the first to write a review
Downloaded 80 times
Reviews


Terms of Use (10 Mar 2001)